Towards a Programming Language for Interaction Nets
نویسندگان
چکیده
منابع مشابه
Interaction nets: programming language design and implementation
This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. In the same way that the λ -calculus is the foundation for functional programming, or horn clauses are the foundation for logic programming, we give in this paper an overview of a substantial software system that is curr...
متن کاملA Tool for Programming with Interaction Nets
This paper introduces INblobs, a visual editor and interpreter for interaction nets that is presently being developed at Minho. The editor is based on Blobs, a front-end for drawing and editing graph diagrams written with wxHaskell. The tool fills a gap in the community, since all the existing tools for interaction nets take as input textual descriptions of nets. INblobs includes a visual edito...
متن کاملVisual Programming with Interaction Nets
Programming directly with diagrams offers potential advantages such as visual intuitions, identification of errors (debugging), and insight into the dynamics of the algorithm. The purpose of this paper is to put forward one particular graphical formalism, interaction nets, as a candidate for visual programming which has not only all the desired properties that one would expect, but also has oth...
متن کاملProgramming Language Support for Natural Language Interaction
Modern conversational user interfaces depend on natural language understanding (NLU) engines, but integrating these capabilities creates a new category of engineering challenges. Developers write verbose, unsafe code to intermediate between NLU services and application logic, and ambiguous parses further complicate handling. We present a DSL for configuring an NLU model that ensures consistency...
متن کاملTowards a Programming Language Ontology
We examine the role of semantic theory in determining the ontology of programming languages. We explore how different semantic perspectives result in different ontologies. In particular, we compare the ontological implications of set-theoretic versus type-theoretic semantics. 1 Programming Languages Programming languages (PLs) combine two, not always distinct, facilities: data structures (e.g.,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2005
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.02.015